Fix generation of org.texi from org.org
authorEli Zaretskii <eliz@gnu.org>
Fri, 14 Jun 2024 11:38:01 +0000 (14:38 +0300)
committerEli Zaretskii <eliz@gnu.org>
Fri, 14 Jun 2024 11:38:01 +0000 (14:38 +0300)
commit6a9f1b504a5a3c096afd17f3b8f8ebeca6a03ed5
tree55ef3e45676a837e3e5805e0f20ca915e16ea614
parent11b145ac070217891b7ec939ce7821253887dac1
Fix generation of org.texi from org.org

* doc/misc/Makefile.in (org_template): Bind
'org-id-track-globally' to nil when running
'org-texinfo-export-to-texinfo-batch', to avoid searching local
user files when building the Org manual.
doc/misc/Makefile.in